Books by author Osman Hasan

Showing 1 – 4 out of 4 results

1. 

   Intelligent Computer Mathematics

   Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Probabilistic Analysis using Theorem Proving

   Osman Hasan | VDM Verlag Dr. Mueller E.K., 2008

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   67.43 €

   Sale 1 %

   You save 1.35 €

   Buy
3. 

   Formal Techniques for Safety-Critical Systems

   Osman Hasan, Frédéric Mallet | Springer, Berlin, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

   Nabil Bastaki, Falah Awwad, Osman Hasan | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   67.03 €

   Sale 7 %

   You save 5.60 €

   Buy

Free shipping for orders over 59.99 €. Find out more